Juice: A Julia Package for Logic and Probabilistic Circuits

Juice is an open-source Julia package providing tools for logic and probabilistic reasoning learning based on circuits (LCs) (PCs). It provides a range of efficient algorithms inference queries, such as computing marginal probabilities (MAR), well many more advanced queries. Certain structural circuit properties are needed to achieve this tractability, which helps validate. Additionally, it supports several parameter structure proposed in the recent literature. By leveraging parallelism (on both CPU GPU), fast implementation circuit-based algorithms, makes suitable tackling large-scale datasets models.